Towards an integrated and interoperable platform for telehealth and telecare

Copyright @ 2012 International Journal of Integrated Care (IJIC). This work is licensed under a (http://creativecommons.org/licenses/by/3.0) Creative Commons Attribution 3.0 Unported License.We present experience of implementing and evaluating a platform purpose designed to integrate interoperable telehealth and telecare. We chose the IEEE 11073 standards for all devices and used ZigBee wireless to support many devices concurrently and exploit its mesh networking to extend range around the entire house. We designed the home gateway to be unobtrusive; in project Hydra we used the smart meter and in other projects (Reaction, inCasa) we have developed a purpose designed plugtop ZigBee to GPRS gateway. All use common protocols and are interoperable. Technically the projects have been a success, and we have already implemented a wide range of devices on the common platform (BP, weight, SpO2, glucose, PIR, medication monitor, bed/chair sensor). Immediate feedback from participants has confirmed our goal of simplicity and convenience of use (and thus encourage adherence); and it is interesting that in discussion they then focus on the data rather than the technology. Our current goal is to exploit the potential for combination of physiological and environmental data to determine if change of habits can be detected and how this correlates with change in health. We are using this functionality to manage the frail elderly within project inCasa and we propose to present preliminary findings

Sequential Posted Price Mechanisms with Correlated Valuations

We study the revenue performance of sequential posted price mechanisms and some natural extensions, for a general setting where the valuations of the buyers are drawn from a correlated distribution. Sequential posted price mechanisms are conceptually simple mechanisms that work by proposing a take-it-or-leave-it offer to each buyer. We apply sequential posted price mechanisms to single-parameter multi-unit settings in which each buyer demands only one item and the mechanism can assign the service to at most k of the buyers. For standard sequential posted price mechanisms, we prove that with the valuation distribution having finite support, no sequential posted price mechanism can extract a constant fraction of the optimal expected revenue, even with unlimited supply. We extend this result to the the case of a continuous valuation distribution when various standard assumptions hold simultaneously. In fact, it turns out that the best fraction of the optimal revenue that is extractable by a sequential posted price mechanism is proportional to ratio of the highest and lowest possible valuation. We prove that for two simple generalizations of these mechanisms, a better revenue performance can be achieved: if the sequential posted price mechanism has for each buyer the option of either proposing an offer or asking the buyer for its valuation, then a Omega(1/max{1,d}) fraction of the optimal revenue can be extracted, where d denotes the degree of dependence of the valuations, ranging from complete independence (d=0) to arbitrary dependence (d=n-1). Moreover, when we generalize the sequential posted price mechanisms further, such that the mechanism has the ability to make a take-it-or-leave-it offer to the i-th buyer that depends on the valuations of all buyers except i's, we prove that a constant fraction (2-sqrt{e})/4~0.088 of the optimal revenue can be always be extracted.Comment: 29 pages, To appear in WINE 201

E-QED: Electrical Bug Localization During Post-Silicon Validation Enabled by Quick Error Detection and Formal Methods

During post-silicon validation, manufactured integrated circuits are extensively tested in actual system environments to detect design bugs. Bug localization involves identification of a bug trace (a sequence of inputs that activates and detects the bug) and a hardware design block where the bug is located. Existing bug localization practices during post-silicon validation are mostly manual and ad hoc, and, hence, extremely expensive and time consuming. This is particularly true for subtle electrical bugs caused by unexpected interactions between a design and its electrical state. We present E-QED, a new approach that automatically localizes electrical bugs during post-silicon validation. Our results on the OpenSPARC T2, an open-source 500-million-transistor multicore chip design, demonstrate the effectiveness and practicality of E-QED: starting with a failed post-silicon test, in a few hours (9 hours on average) we can automatically narrow the location of the bug to (the fan-in logic cone of) a handful of candidate flip-flops (18 flip-flops on average for a design with ~ 1 Million flip-flops) and also obtain the corresponding bug trace. The area impact of E-QED is ~2.5%. In contrast, deter-mining this same information might take weeks (or even months) of mostly manual work using traditional approaches

Sensitivity to numerosity is not a unique visuospatial psychophysical predictor of mathematical ability

Sensitivity to visual numerosity has previously been shown to predict human mathematical performance. However, it is not clear whether it is discrimination of numerosity per se that is predictive of mathematics, or whether the association is driven by more general task demands. To test this notion we had over 300 participants (ranging in age from 6 to 73years) perform a symbolic mathematics test and 4 different visuospatial matching tasks. The visual tasks involved matching 2 clusters of Gabor elements for their numerosity, density, size or orientation by a method of adjustment. Partial correlation and regression analyses showed that sensitivity to visual numerosity, sensitivity to visual orientation and mathematical education level predict a significant proportion of shared as well as unique variance in mathematics scores. These findings suggest that sensitivity to visual numerosity is not a unique visual psychophysical predictor of mathematical ability. Instead, the data are consistent with mathematics representing a multi-factorial process that shares resources with a number of visuospatial tasks